A Novel Specification and Design Methodology
نویسندگان
چکیده
Embedded signal processing system designers need to be able to prototype their designs quickly and validate them early. This must be done in a manner that avoids premature commitment to the implementation target, especially when that target includes costly COTS parallel multiprocessing hardware. A new specification and design methodology known as MAGIC enables the designer to move from an executable specification through design exploration and on to implementation with minimal loss of specification and design information by leveraging compuation middleware (VSIPL) and communication middleware (MPI). Maintaining such information is a quality known as “model continuity,” which is established using the MAGIC specification and design methodology.
منابع مشابه
آزمون خودکار نرمافزارهای شیگرا با استفاده از موردهای کاربری و ضوابط OCL
Test automation is one of the major areas in software engineering. Test automation can reduce the high cost of software development and at the same time increases the reliability of the testing process. In this paper we present a novel specification based framework for automating test process based on use case scenarios. It receives software specification that defined with UML at design level a...
متن کاملA Novel Specification and Design Methodology of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware
Embedded signal processing system designers need to be able to prototype their designs quickly and validate them early. This must be done in a manner that avoids premature commitment to the implementation target, especially when that target includes costly COTS parallel multiprocessing hardware. A new specification and design methodology known as MAGIC enables the designer to move from an execu...
متن کاملRational Design, Synthesis and Computational Structure-Activity Relationship of Novel 3-(4-Chlorophenyl)-5-(3-Hydroxy-4-Ethoxyphenyl)-4,5-Dihydro-1H-Pyrazole-1-Carboxamide
Densely functionalized 3-(4-chlorophenyl)-5-(3-hydroxy-4-etoxyphenyl)-4,5-dihydro-1H-pyrazole-1-carboxamide was synthesized in an expedient manner through specification and transamidation respectively, of ester-functionalized pyrazoles. This synthetic protocol allowed for three diversifying steps in which appendages on the pyrazole scaffold were adjusted to optimize inhibition of protein kina...
متن کاملOPTIMAL DESIGN OF NON-PRISMATIC REINFORCED CONCRETE BOX GIRDER BRIDGE: MINIMIZATION OF THE COST AND CO2 EMISSION
This paper presents a computational framework for optimal design of non-prismatic reinforced concrete box girder bridges. The variables include the geometry of the cross section, tapered length, concrete strength and reinforcement of box girders and slabs. These are obtained by the enhanced colliding bodies optimization algorithm to optimizing the cost and again CO2 emission. Loading and design...
متن کاملA Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000